Tag 'old_name = Joachimsthaler Platz'

---

Quelle / Ursprung dieser Information: OpenStreetmap